...beded Domain-Specific Language），它只需要说“是什么”而不用管“怎么做”，高阶函数、代数数据类型（algebraic data types）、惰性计算(lazy evaluation)、元类型(type classes)这些编程的抽象机制让创作者拥有比传统曲谱更为自由的组合能力，从而令“音乐...
基于14个网页-相关网页
In analogy to algebraic data type theory, this paper proposed the mathematical model of objects, object types and abstract object types.
类似于代数数据类型理论，本文提出了对象、对象类型及抽象对象类型的代数模型。
youdao
应用推荐
模块上移
模块下移
不移动